Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

Derrick's theorem beyond a potential

Scalar field theories with derivative interactions are known to possess solitonic excitations, but such solitons are generally unsatisfactory because the effective theory fails precisely where nonlinearities responsible for the solitons are important. A new class of theories possessing (internal) galilean invariance can in principle bypass this difficulty. Here, we show that these galileon theories do not possess stable solitonic solutions. As a by-product, we show that no stable solitons exist for a different class of derivatively coupled theories, describing for instance the infrared dynamics of superfluids, fluids, solids and some k-essence models.Comment: 4 page

Scalar soliton quantization with generic moduli

This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credArticle funded by SCOAP3. CP is a Royal Society Research Fellow and partly supported by the U.S. Department of Energy under grants DOE-SC0010008, DOE-ARRA-SC0003883 and DOE-DE-SC0007897. ABR is supported by the Mitchell Family Foundation. We would like to thank the Mitchell Institute at Texas A&M and the NHETC at Rutgers University respectively for hospitality during the course of this work. We would also like to acknowledge the Aspen Center for Physics and NSF grant 1066293 for a stimulating research environment which led to questions addressed in this paper

Classical skyrmions in SU(N)/SO(N) cosets

We construct the skyrmion solutions appearing in the coset spaces SU(N)/SO(N) for N > 2 and compute their classical mass. For N = 3, the third homotopy group pi_3(SU(3)/SO(3)) = Z_4 implies the existence of two distinct solutions: the skyrmion of winding number two has spherical symmetry and is found to be the lightest non-trivial field configuration; the skyrmion and antiskyrmion of winding number plus and minus one are slightly heavier and of toroidal shape. For N >= 4, there is only one skyrmion since the third homotopy group is Z_2. It is found to have spherical symmetry and is significantly lighter than the N = 3 solutions.Comment: 14 pages, 3 figures; v2: discussion improve

Revisiting soliton contributions to perturbative amplitudes

Open Access funded by SCOAP3. CP is a Royal Society Research Fellow and partly supported by the U.S. Department of Energy under grants DOE-SC0010008, DOE-ARRA-SC0003883 and DOE-DE-SC0007897. ABR is supported by the Mitchell Family Foundation. We would like to thank the Mitchell Institute at Texas A&M and the NHETC at Rutgers University respectively for hospitality during the course of this work. We would also like to acknowledge the Aspen Center for Physics and NSF grant 1066293 for a stimulating research environment

Cosmology of the selfaccelerating third order Galileon

In this paper we start from the original formulation of the galileon model with the original choice for couplings to gravity. Within this framework we find that there is still a subset of possible Lagrangians that give selfaccelerating solutions with stable spherically symmetric solutions. This is a certain constrained subset of the third order galileon which has not been explored before. We develop and explore the background cosmological evolution of this model drawing intuition from other even more restricted galileon models. The numerical results confirm the presence of selfacceleration, but also reveals a possible instability with respect to galileon perturbations.Comment: 30 pages, 24 figure

Solitary waves in the Nonlinear Dirac Equation

In the present work, we consider the existence, stability, and dynamics of solitary waves in the nonlinear Dirac equation. We start by introducing the Soler model of self-interacting spinors, and discuss its localized waveforms in one, two, and three spatial dimensions and the equations they satisfy. We present the associated explicit solutions in one dimension and numerically obtain their analogues in higher dimensions. The stability is subsequently discussed from a theoretical perspective and then complemented with numerical computations. Finally, the dynamics of the solutions is explored and compared to its non-relativistic analogue, which is the nonlinear Schr{\"o}dinger equation. A few special topics are also explored, including the discrete variant of the nonlinear Dirac equation and its solitary wave properties, as well as the PT-symmetric variant of the model

Galileon Higgs vortices

Vortex solutions are topologically stable field configurations that can play an important role in condensed matter, field theory, and cosmology. We investigate vortex configuration in a 2+1 dimensional Abelian Higgs theory supplemented by higher order derivative self-interactions, related with Galileons. Our vortex solutions have features that make them qualitatively different from well-known Abrikosov-Nielsen-Olesen configurations, since the derivative interactions turn on gauge invariant field profiles that break axial symmetry. By promoting the system to a 3+1 dimensional string configuration, we study its gravitational backreaction. Our results are all derived within a specific, analytically manageable system, and might offer indications for understanding Galileonic interactions and screening mechanisms around configurations that are not spherically symmetric, but only at most cylindrically symmetric.Comment: 26 pages, 8 figure

Skyrmions, Skyrme stars and black holes with Skyrme hair in five spacetime dimension

We consider a class of generalizations of the Skyrme model to five spacetime dimensions (d = 5), which is de fined in terms of an O (5) sigma model. A special ansatz for the Skyrme field allows angular momentum to be present and equations of motion with a radial dependence only. Using it, we obtain: 1) everywhere regular solutions describing localised energy lumps (Skyrmions); 2) Self-gravitating, asymptotically flat, everywhere non-singular solitonic solutions (Skyrme stars), upon minimally coupling the model to Einstein's gravity; 3) both static and spinning black holes with Skyrme hair, the latter with rotation in two orthogonal planes, with both angular momenta of equal magnitude. In the absence of gravity we present an analytic solution that satisfies a BPS-type bound and explore numerically some of the non-BPS solutions. In the presence of gravity, we contrast the solutions to this model with solutions to a complex scalar field model, namely boson stars and black holes with synchronised hair. Remarkably, even though the two models present key differences, and in particular the Skyrme model allows static hairy black holes, when introducing rotation, the synchronisation condition becomes mandatory, providing further evidence for its generality in obtaining rotating hairy black holes